[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 94 97 96 97 104 97 87 0

N.S.

1 1.00 1.00 1.03 1.02 1.03 1.11 1.03 0.93 0.00

time (sec)

N/A 0.072 0.049 0.038 0.475 0.933 0.125 0.173 0.051 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 70 73 70 74 80 74 66 0

N.S.

1 1.00 1.00 1.04 1.00 1.06 1.14 1.06 0.94 0.00

time (sec)

N/A 0.043 0.015 0.044 0.562 0.849 0.079 0.148 0.034 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 49 48 50 51 50 48 0

N.S.

1 1.00 1.00 0.98 0.96 1.00 1.02 1.00 0.96 0.00

time (sec)

N/A 0.028 0.008 0.044 0.481 0.635 0.074 0.189 0.048 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 28 25 24 26 26 26 25 0

N.S.

1 1.00 1.00 0.89 0.86 0.93 0.93 0.93 0.89 0.00

time (sec)

N/A 0.013 0.005 0.040 0.536 0.846 0.066 0.149 0.037 0.000

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

144 144 128 195 128 369 71 133 123 0

N.S.

1 1.00 0.89 1.35 0.89 2.56 0.49 0.92 0.85 0.00

time (sec)

N/A 0.094 0.123 0.048 1.277 1.137 0.417 0.202 1.383 0.001

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 145 221 158 537 97 160 143 0

N.S.

1 1.00 0.86 1.31 0.93 3.18 0.57 0.95 0.85 0.00

time (sec)

N/A 0.082 0.096 0.052 1.157 1.021 0.578 0.191 1.398 0.000

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

197 197 175 249 192 743 133 180 173 0

N.S.

1 1.00 0.89 1.26 0.97 3.77 0.68 0.91 0.88 0.00

time (sec)

N/A 0.106 0.131 0.059 1.434 1.175 0.777 0.191 1.396 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 122 125 124 132 139 132 116 0

N.S.

1 1.00 1.00 1.02 1.02 1.08 1.14 1.08 0.95 0.00

time (sec)

N/A 0.071 0.019 0.050 0.547 0.734 0.091 0.159 1.199 0.000

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 82 87 82 91 90 91 75 0

N.S.

1 1.00 1.00 1.06 1.00 1.11 1.10 1.11 0.91 0.00

time (sec)

N/A 0.046 0.012 0.037 0.707 0.818 0.084 0.208 0.042 0.000

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 49 48 50 51 50 48 0

N.S.

1 1.00 1.00 0.98 0.96 1.00 1.02 1.00 0.96 0.00

time (sec)

N/A 0.029 0.007 0.039 0.574 0.510 0.072 0.159 0.045 0.000

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

173 173 167 334 189 505 156 211 152 0

N.S.

1 1.00 0.97 1.93 1.09 2.92 0.90 1.22 0.88 0.00

time (sec)

N/A 0.128 0.142 0.046 1.230 0.680 0.679 0.194 1.386 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 210 367 226 771 189 233 191 0

N.S.

1 1.00 1.03 1.81 1.11 3.80 0.93 1.15 0.94 0.00

time (sec)

N/A 0.244 0.221 0.062 1.282 1.006 1.135 0.190 1.412 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F(-1) A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

258 258 234 0 267 1067 233 264 249 0

N.S.

1 1.00 0.91 0.00 1.03 4.14 0.90 1.02 0.97 0.00

time (sec)

N/A 0.233 0.276 180.000 1.321 0.854 1.623 0.197 1.428 0.001

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

252 252 253 661 364 873 371 391 250 0

N.S.

1 1.00 1.00 2.62 1.44 3.46 1.47 1.55 0.99 0.00

time (sec)

N/A 0.191 0.127 0.047 1.189 1.226 1.310 0.201 1.430 0.000

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 203 486 273 700 257 296 192 0

N.S.

1 1.00 0.98 2.34 1.31 3.37 1.24 1.42 0.92 0.00

time (sec)

N/A 0.148 0.106 0.046 1.319 1.024 1.003 0.185 1.402 0.001

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

173 173 167 334 190 507 156 211 152 0

N.S.

1 1.00 0.97 1.93 1.10 2.93 0.90 1.22 0.88 0.00

time (sec)

N/A 0.124 0.149 0.043 1.321 0.795 0.690 0.324 1.375 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

145 145 129 195 128 390 71 133 123 0

N.S.

1 1.00 0.89 1.34 0.88 2.69 0.49 0.92 0.85 0.00

time (sec)

N/A 0.078 0.075 0.046 1.075 0.955 0.436 0.191 1.379 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

288 288 224 222 293 254 447 278 1364 0

N.S.

1 1.00 0.78 0.77 1.02 0.88 1.55 0.97 4.74 0.00

time (sec)

N/A 0.147 0.107 0.050 1.235 1.170 79.722 0.266 7.705 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

346 346 336 406 489 432 0 443 2589 0

N.S.

1 1.00 0.97 1.17 1.41 1.25 0.00 1.28 7.48 0.00

time (sec)

N/A 0.270 0.235 0.054 1.298 18.476 0.000 0.203 16.807 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

320 320 313 905 509 1619 546 529 416 0

N.S.

1 1.00 0.98 2.83 1.59 5.06 1.71 1.65 1.30 0.00

time (sec)

N/A 0.298 0.303 0.060 1.346 1.113 12.429 0.190 0.390 0.001

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 267 260 708 397 1316 405 412 302 0

N.S.

1 1.00 0.97 2.65 1.49 4.93 1.52 1.54 1.13 0.00

time (sec)

N/A 0.226 0.238 0.057 1.156 1.063 8.537 0.190 1.493 0.001

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 227 529 306 1027 291 319 240 0

N.S.

1 1.00 0.97 2.26 1.31 4.39 1.24 1.36 1.03 0.00

time (sec)

N/A 0.220 0.156 0.053 1.219 0.925 4.330 0.200 0.296 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 205 367 220 768 189 227 191 0

N.S.

1 1.00 1.01 1.81 1.08 3.78 0.93 1.12 0.94 0.00

time (sec)

N/A 0.231 0.198 0.053 1.395 0.983 2.556 0.213 1.467 0.001

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

169 169 145 221 158 537 97 160 143 0

N.S.

1 1.00 0.86 1.31 0.93 3.18 0.57 0.95 0.85 0.00

time (sec)

N/A 0.084 0.091 0.054 1.439 0.949 1.418 0.171 1.428 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

346 346 337 406 489 440 0 443 2492 0

N.S.

1 1.00 0.97 1.17 1.41 1.27 0.00 1.28 7.20 0.00

time (sec)

N/A 0.255 0.195 0.056 1.290 18.528 0.000 0.201 15.930 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B F(-1) F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

419 419 381 606 784 0 0 664 3637 0

N.S.

1 1.00 0.91 1.45 1.87 0.00 0.00 1.58 8.68 0.00

time (sec)

N/A 0.493 0.630 0.062 1.257 0.000 0.000 0.222 24.310 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F B B C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

112 112 62 0 322 399 80 0 -1 165

N.S.

1 1.00 0.55 0.00 2.88 3.56 0.71 0.00 -0.01 1.47

time (sec)

N/A 0.032 0.106 0.429 1.219 1.064 4.984 0.000 0.000 0.389

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B B C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

91 91 134 0 244 363 76 0 -1 149

N.S.

1 1.00 1.47 0.00 2.68 3.99 0.84 0.00 -0.01 1.64

time (sec)

N/A 0.020 0.084 0.366 1.216 1.017 5.525 0.000 0.000 0.366

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F A B C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

85 85 62 0 130 372 70 0 -1 142

N.S.

1 1.00 0.73 0.00 1.53 4.38 0.82 0.00 -0.01 1.67

time (sec)

N/A 0.013 0.037 0.387 1.254 0.792 16.137 0.000 0.000 0.291

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 28 25 50 44 190 0 27 28

N.S.

1 1.00 0.60 0.53 1.06 0.94 4.04 0.00 0.57 0.60

time (sec)

N/A 0.009 0.015 0.046 0.523 1.056 91.681 0.000 1.348 0.223

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 40 37 85 69 0 0 44 40

N.S.

1 1.00 0.73 0.67 1.55 1.25 0.00 0.00 0.80 0.73

time (sec)

N/A 0.013 0.021 0.043 0.624 0.669 0.000 0.000 1.425 0.293

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 51 48 119 91 0 0 58 51

N.S.

1 1.00 0.69 0.65 1.61 1.23 0.00 0.00 0.78 0.69

time (sec)

N/A 0.019 0.022 0.048 0.584 1.015 0.000 0.000 1.391 0.428

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 62 59 153 113 0 0 73 62

N.S.

1 1.00 0.67 0.63 1.65 1.22 0.00 0.00 0.78 0.67

time (sec)

N/A 0.026 0.026 0.046 0.538 0.970 0.000 0.000 1.371 0.630

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F F F A

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

398 58 151 0 0 644 0 0 -1 515

N.S.

1 0.15 0.38 0.00 0.00 1.62 0.00 0.00 -0.00 1.29

time (sec)

N/A 0.026 0.134 0.698 0.000 54.975 0.000 0.000 0.000 3.122

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

139 139 151 0 552 421 126 0 -1 176

N.S.

1 1.00 1.09 0.00 3.97 3.03 0.91 0.00 -0.01 1.27

time (sec)

N/A 0.057 0.137 0.375 1.527 1.253 9.174 0.000 0.000 0.565

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

120 120 141 0 436 399 121 0 -1 165

N.S.

1 1.00 1.18 0.00 3.63 3.32 1.01 0.00 -0.01 1.38

time (sec)

N/A 0.042 0.078 0.384 1.396 1.655 7.599 0.000 0.000 0.481

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B B F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

113 113 137 0 296 412 0 0 -1 158

N.S.

1 1.00 1.21 0.00 2.62 3.65 0.00 0.00 -0.01 1.40

time (sec)

N/A 0.042 0.082 0.532 1.373 1.729 0.000 0.000 0.000 0.499

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B B F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

110 110 131 0 180 521 0 0 -1 144

N.S.

1 1.00 1.19 0.00 1.64 4.74 0.00 0.00 -0.01 1.31

time (sec)

N/A 0.040 0.063 0.533 1.354 1.165 0.000 0.000 0.000 0.393

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 40 37 105 67 0 0 44 40

N.S.

1 1.00 0.53 0.49 1.38 0.88 0.00 0.00 0.58 0.53

time (sec)

N/A 0.021 0.015 0.042 0.498 0.890 0.000 0.000 1.432 0.348

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 51 48 155 91 0 0 56 51

N.S.

1 1.00 0.49 0.46 1.48 0.87 0.00 0.00 0.53 0.49

time (sec)

N/A 0.035 0.032 0.050 0.585 1.078 0.000 0.000 1.389 0.529

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

98 98 62 59 206 113 0 0 71 62

N.S.

1 1.00 0.63 0.60 2.10 1.15 0.00 0.00 0.72 0.63

time (sec)

N/A 0.035 0.035 0.046 0.574 1.249 0.000 0.000 1.436 0.760

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A B A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

117 117 73 70 257 135 0 0 86 73

N.S.

1 1.00 0.62 0.60 2.20 1.15 0.00 0.00 0.74 0.62

time (sec)

N/A 0.044 0.040 0.049 0.510 0.804 0.000 0.000 1.427 1.189

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 75 0 406 482 170 0 -1 227

N.S.

1 1.00 0.43 0.00 2.33 2.77 0.98 0.00 -0.01 1.30

time (sec)

N/A 0.059 0.068 0.374 1.678 1.210 10.424 0.000 0.000 0.707

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

141 141 72 0 322 424 82 0 -1 200

N.S.

1 1.00 0.51 0.00 2.28 3.01 0.58 0.00 -0.01 1.42

time (sec)

N/A 0.045 0.095 0.375 1.437 1.095 5.347 0.000 0.000 0.668

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

111 111 141 0 244 362 78 0 -1 176

N.S.

1 1.00 1.27 0.00 2.20 3.26 0.70 0.00 -0.01 1.59

time (sec)

N/A 0.030 0.154 0.395 1.198 1.308 4.439 0.000 0.000 0.514

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F A B C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 61 0 134 488 71 0 -1 158

N.S.

1 1.00 0.62 0.00 1.35 4.93 0.72 0.00 -0.01 1.60

time (sec)

N/A 0.024 0.052 0.380 1.224 1.059 12.828 0.000 0.000 0.370

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

47 47 37 34 51 54 190 0 33 37

N.S.

1 1.00 0.79 0.72 1.09 1.15 4.04 0.00 0.70 0.79

time (sec)

N/A 0.010 0.036 0.049 0.470 1.231 82.052 0.000 1.370 0.296

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

91 91 59 57 86 87 0 0 87 60

N.S.

1 1.00 0.65 0.63 0.95 0.96 0.00 0.00 0.96 0.66

time (sec)

N/A 0.028 0.039 0.045 0.608 0.719 0.000 0.000 1.424 0.394

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

121 121 80 81 120 121 0 0 105 84

N.S.

1 1.00 0.66 0.67 0.99 1.00 0.00 0.00 0.87 0.69

time (sec)

N/A 0.035 0.034 0.042 0.499 0.915 0.000 0.000 1.460 0.572

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

151 151 100 105 154 155 0 0 132 108

N.S.

1 1.00 0.66 0.70 1.02 1.03 0.00 0.00 0.87 0.72

time (sec)

N/A 0.047 0.062 0.046 0.657 1.298 0.000 0.000 1.453 0.874

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

262 262 238 0 672 717 270 0 -1 325

N.S.

1 1.00 0.91 0.00 2.56 2.74 1.03 0.00 -0.00 1.24

time (sec)

N/A 0.165 5.190 0.385 1.294 1.224 13.131 0.000 0.000 1.159

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

219 219 203 0 552 634 131 0 -1 283

N.S.

1 1.00 0.93 0.00 2.52 2.89 0.60 0.00 -0.00 1.29

time (sec)

N/A 0.166 5.171 0.385 1.479 1.245 7.275 0.000 0.000 0.895

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B A C F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

175 175 172 0 436 554 126 0 -1 240

N.S.

1 1.00 0.98 0.00 2.49 3.17 0.72 0.00 -0.01 1.37

time (sec)

N/A 0.096 5.150 0.381 1.275 1.258 6.437 0.000 0.000 0.772

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F B B F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 159 168 0 301 652 0 0 -1 222

N.S.

1 1.00 1.06 0.00 1.89 4.10 0.00 0.00 -0.01 1.40

time (sec)

N/A 0.102 5.163 0.559 1.137 1.170 0.000 0.000 0.000 0.782

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F A B F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 180 0 190 719 0 0 -1 211

N.S.

1 1.00 1.18 0.00 1.25 4.73 0.00 0.00 -0.01 1.39

time (sec)

N/A 0.068 5.247 0.550 1.193 1.299 0.000 0.000 0.000 0.688

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

78 78 126 76 109 103 0 0 148 79

N.S.

1 1.00 1.62 0.97 1.40 1.32 0.00 0.00 1.90 1.01

time (sec)

N/A 0.021 0.097 0.049 0.508 1.191 0.000 0.000 1.427 0.570

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 106 115 159 152 0 0 176 118

N.S.

1 1.00 0.61 0.66 0.91 0.87 0.00 0.00 1.01 0.68

time (sec)

N/A 0.073 5.106 0.046 0.712 0.995 0.000 0.000 1.450 0.834

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

211 211 138 156 210 200 0 0 217 159

N.S.

1 1.00 0.65 0.74 1.00 0.95 0.00 0.00 1.03 0.75

time (sec)

N/A 0.127 5.176 0.047 0.503 1.065 0.000 0.000 1.430 1.258

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

253 253 169 197 261 246 0 0 257 200

N.S.

1 1.00 0.67 0.78 1.03 0.97 0.00 0.00 1.02 0.79

time (sec)

N/A 0.207 5.153 0.049 0.643 1.407 0.000 0.000 1.481 1.865

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 109 120 134 182 166 0 0 271 137

N.S.

1 1.00 1.10 1.23 1.67 1.52 0.00 0.00 2.49 1.26

time (sec)

N/A 0.036 0.043 0.053 0.626 0.895 0.000 0.000 1.556 1.141

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

331 62 655 0 0 643 0 0 -1 618

N.S.

1 0.19 1.98 0.00 0.00 1.94 0.00 0.00 -0.00 1.87

time (sec)

N/A 0.028 1.232 0.701 0.000 36.577 0.000 0.000 0.000 14.445

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

273 60 443 0 0 535 0 0 -1 550

N.S.

1 0.22 1.62 0.00 0.00 1.96 0.00 0.00 -0.00 2.01

time (sec)

N/A 0.027 0.711 0.559 0.000 3.507 0.000 0.000 0.000 7.775

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

233 59 161 0 0 469 0 0 -1 487

N.S.

1 0.25 0.69 0.00 0.00 2.01 0.00 0.00 -0.00 2.09

time (sec)

N/A 0.027 0.224 0.570 0.000 1.579 0.000 0.000 0.000 4.355

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 207 168 0 0 0 0 0 -1 320

N.S.

1 1.40 1.14 0.00 0.00 0.00 0.00 0.00 -0.01 2.16

time (sec)

N/A 0.192 0.151 0.526 0.000 0.000 0.000 0.000 0.000 1.912

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

179 238 256 0 0 0 0 0 -1 352

N.S.

1 1.33 1.43 0.00 0.00 0.00 0.00 0.00 -0.01 1.97

time (sec)

N/A 0.193 0.801 0.574 0.000 0.000 0.000 0.000 0.000 2.701

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F F(-1) F F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

226 621 621 0 0 0 0 0 -1 399

N.S.

1 2.75 2.75 0.00 0.00 0.00 0.00 0.00 -0.00 1.77

time (sec)

N/A 2.580 2.673 0.558 0.000 0.000 0.000 0.000 0.000 3.789

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C A F F F(-1) F F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

280 1172 277 0 0 0 0 0 -1 471

N.S.

1 4.19 0.99 0.00 0.00 0.00 0.00 0.00 -0.00 1.68

time (sec)

N/A 6.642 5.746 0.605 0.000 0.000 0.000 0.000 0.000 8.096

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

351 62 698 0 0 819 0 0 -1 680

N.S.

1 0.18 1.99 0.00 0.00 2.33 0.00 0.00 -0.00 1.94

time (sec)

N/A 0.029 1.083 0.398 0.000 19.124 0.000 0.000 0.000 14.087

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

301 60 450 0 0 631 0 0 -1 645

N.S.

1 0.20 1.50 0.00 0.00 2.10 0.00 0.00 -0.00 2.14

time (sec)

N/A 0.028 0.643 0.582 0.000 2.323 0.000 0.000 0.000 7.331

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

182 241 78 0 0 0 0 0 -1 356

N.S.

1 1.32 0.43 0.00 0.00 0.00 0.00 0.00 -0.01 1.96

time (sec)

N/A 0.210 0.041 0.538 0.000 0.000 0.000 0.000 0.000 2.398

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

217 276 99 0 0 0 0 0 -1 397

N.S.

1 1.27 0.46 0.00 0.00 0.00 0.00 0.00 -0.00 1.83

time (sec)

N/A 0.204 0.145 0.555 0.000 0.000 0.000 0.000 0.000 2.675

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F F(-1) F F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

261 625 625 0 0 0 0 0 -1 452

N.S.

1 2.39 2.39 0.00 0.00 0.00 0.00 0.00 -0.00 1.73

time (sec)

N/A 1.934 2.032 0.600 0.000 0.000 0.000 0.000 0.000 4.081

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C A F F F(-1) F F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

324 1214 288 0 0 0 0 0 -1 551

N.S.

1 3.75 0.89 0.00 0.00 0.00 0.00 0.00 -0.00 1.70

time (sec)

N/A 5.692 5.944 0.594 0.000 0.000 0.000 0.000 0.000 9.704

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F F(-1) F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

541 62 1171 0 0 0 0 0 -1 1081

N.S.

1 0.11 2.16 0.00 0.00 0.00 0.00 0.00 -0.00 2.00

time (sec)

N/A 0.027 2.341 0.395 0.000 0.000 0.000 0.000 0.000 102.412

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

458 62 908 0 0 1246 0 0 -1 970

N.S.

1 0.14 1.98 0.00 0.00 2.72 0.00 0.00 -0.00 2.12

time (sec)

N/A 0.028 1.838 0.412 0.000 114.550 0.000 0.000 0.000 76.857

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F B F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

391 62 651 0 0 954 0 0 -1 804

N.S.

1 0.16 1.66 0.00 0.00 2.44 0.00 0.00 -0.00 2.06

time (sec)

N/A 0.028 1.164 0.607 0.000 12.614 0.000 0.000 0.000 28.127

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F(-1) F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

217 276 79 0 0 0 0 0 -1 385

N.S.

1 1.27 0.36 0.00 0.00 0.00 0.00 0.00 -0.00 1.77

time (sec)

N/A 0.239 0.033 0.572 0.000 0.000 0.000 0.000 0.000 3.310

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F(-1) F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 326 153 0 0 0 0 0 -1 444

N.S.

1 1.22 0.57 0.00 0.00 0.00 0.00 0.00 -0.00 1.66

time (sec)

N/A 0.243 0.219 0.546 0.000 0.000 0.000 0.000 0.000 3.661

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

307 167 168 0 0 0 0 0 -1 536

N.S.

1 0.54 0.55 0.00 0.00 0.00 0.00 0.00 -0.00 1.75

time (sec)

N/A 0.310 0.380 0.579 0.000 0.000 0.000 0.000 0.000 5.651

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C C F F F(-1) F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

377 428 428 0 0 0 0 0 -1 644

N.S.

1 1.14 1.14 0.00 0.00 0.00 0.00 0.00 -0.00 1.71

time (sec)

N/A 2.742 3.084 0.592 0.000 0.000 0.000 0.000 0.000 8.919

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A C A F F F(-1) F(-1) F F C

verified

N/A NO NO TBD TBD TBD TBD TBD TBD NO

size

463 1990 337 0 0 0 0 0 -1 791

N.S.

1 4.30 0.73 0.00 0.00 0.00 0.00 0.00 -0.00 1.71

time (sec)

N/A 8.662 5.878 0.559 0.000 0.000 0.000 0.000 0.000 27.991

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F A F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 52 71 0 91 0 0 131 0

N.S.

1 1.00 0.98 1.34 0.00 1.72 0.00 0.00 2.47 0.00

time (sec)

N/A 0.019 0.038 0.041 0.000 1.348 0.000 0.000 1.905 0.527

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 94 94 97 96 98 107 98 88 0

N.S.

1 1.00 1.00 1.03 1.02 1.04 1.14 1.04 0.94 0.00

time (sec)

N/A 0.068 0.024 0.040 0.651 0.977 0.090 0.156 1.303 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 70 73 70 74 76 74 66 0

N.S.

1 1.00 1.00 1.04 1.00 1.06 1.09 1.06 0.94 0.00

time (sec)

N/A 0.049 0.017 0.039 0.647 0.897 0.084 0.150 1.242 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 49 48 50 53 50 48 0

N.S.

1 1.00 1.00 0.98 0.96 1.00 1.06 1.00 0.96 0.00

time (sec)

N/A 0.029 0.012 0.036 0.605 0.865 0.078 0.161 0.048 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

28 28 28 25 24 26 26 26 25 0

N.S.

1 1.00 1.00 0.89 0.86 0.93 0.93 0.93 0.89 0.00

time (sec)

N/A 0.014 0.009 0.045 0.493 0.759 0.065 0.150 0.036 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 196 266 212 639 87 245 720 0

N.S.

1 1.00 0.88 1.19 0.95 2.87 0.39 1.10 3.23 0.00

time (sec)

N/A 0.151 0.179 0.048 1.278 1.288 0.659 0.165 1.480 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

245 245 212 295 236 711 112 266 740 0

N.S.

1 1.00 0.87 1.20 0.96 2.90 0.46 1.09 3.02 0.00

time (sec)

N/A 0.147 0.202 0.053 1.158 1.417 0.849 0.169 1.520 0.001

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

273 273 243 314 271 787 151 286 762 0

N.S.

1 1.00 0.89 1.15 0.99 2.88 0.55 1.05 2.79 0.00

time (sec)

N/A 0.174 0.223 0.054 1.211 1.321 1.031 0.194 1.581 0.001

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

154 154 154 163 158 173 185 173 146 0

N.S.

1 1.00 1.00 1.06 1.03 1.12 1.20 1.12 0.95 0.00

time (sec)

N/A 0.114 0.033 0.041 0.546 1.050 0.117 0.150 0.067 0.000

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 122 125 124 132 139 132 116 0

N.S.

1 1.00 1.00 1.02 1.02 1.08 1.14 1.08 0.95 0.00

time (sec)

N/A 0.077 0.023 0.035 0.544 1.077 0.098 0.151 1.297 0.000

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

82 82 82 87 82 91 97 91 75 0

N.S.

1 1.00 1.00 1.06 1.00 1.11 1.18 1.11 0.91 0.00

time (sec)

N/A 0.049 0.017 0.041 0.695 0.559 0.090 0.166 0.046 0.000

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 50 49 48 50 53 50 48 0

N.S.

1 1.00 1.00 0.98 0.96 1.00 1.06 1.00 0.96 0.00

time (sec)

N/A 0.030 0.008 0.038 0.478 0.534 0.080 0.149 0.045 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

253 253 231 436 286 1239 187 353 1081 0

N.S.

1 1.00 0.91 1.72 1.13 4.90 0.74 1.40 4.27 0.00

time (sec)

N/A 0.194 0.131 0.048 1.285 1.182 1.119 0.198 1.485 0.001

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

291 291 298 475 319 1335 219 376 1254 0

N.S.

1 1.00 1.02 1.63 1.10 4.59 0.75 1.29 4.31 0.00

time (sec)

N/A 0.366 0.216 0.056 1.104 0.932 1.979 0.174 1.536 0.001

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

349 349 319 499 361 1411 264 407 1401 0

N.S.

1 1.00 0.91 1.43 1.03 4.04 0.76 1.17 4.01 0.00

time (sec)

N/A 0.266 0.227 0.058 1.220 1.202 5.850 0.212 1.660 0.001

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

332 332 322 837 489 2477 435 617 1822 0

N.S.

1 1.00 0.97 2.52 1.47 7.46 1.31 1.86 5.49 0.00

time (sec)

N/A 0.267 0.224 0.047 1.437 1.220 3.585 0.484 1.515 0.001

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

288 288 271 627 385 1855 303 481 1433 0

N.S.

1 1.00 0.94 2.18 1.34 6.44 1.05 1.67 4.98 0.00

time (sec)

N/A 0.223 0.166 0.046 1.210 1.479 1.696 0.173 1.488 0.001

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

253 253 231 436 287 1240 187 353 1081 0

N.S.

1 1.00 0.91 1.72 1.13 4.90 0.74 1.40 4.27 0.00

time (sec)

N/A 0.190 0.132 0.046 1.093 1.431 1.084 0.177 1.466 0.001

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 196 266 212 639 87 245 720 0

N.S.

1 1.00 0.88 1.19 0.95 2.87 0.39 1.10 3.23 0.00

time (sec)

N/A 0.138 0.151 0.048 1.126 0.744 0.610 0.165 0.221 0.001

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

449 449 340 320 365 1356 0 437 6153 0

N.S.

1 1.00 0.76 0.71 0.81 3.02 0.00 0.97 13.70 0.00

time (sec)

N/A 0.268 0.143 0.056 1.434 1.742 0.000 0.209 2.755 0.001

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

513 513 498 550 481 3299 0 667 21975 0

N.S.

1 1.00 0.97 1.07 0.94 6.43 0.00 1.30 42.84 0.00

time (sec)

N/A 0.420 0.335 0.056 1.566 58.700 0.000 0.195 4.004 0.001

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

407 407 391 1118 644 3222 0 798 2490 0

N.S.

1 1.00 0.96 2.75 1.58 7.92 0.00 1.96 6.12 0.00

time (sec)

N/A 0.396 0.453 0.060 1.446 1.489 0.000 0.179 1.707 0.001

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

357 357 341 885 521 2580 471 642 2043 0

N.S.

1 1.00 0.96 2.48 1.46 7.23 1.32 1.80 5.72 0.00

time (sec)

N/A 0.367 0.349 0.062 1.454 1.370 47.538 0.174 0.302 0.001

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

317 317 301 669 405 1938 337 496 1616 0

N.S.

1 1.00 0.95 2.11 1.28 6.11 1.06 1.56 5.10 0.00

time (sec)

N/A 0.317 0.254 0.055 1.309 1.108 6.989 0.179 1.530 0.001

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

291 291 297 475 319 1335 219 376 1254 0

N.S.

1 1.00 1.02 1.63 1.10 4.59 0.75 1.29 4.31 0.00

time (sec)

N/A 0.377 0.227 0.058 1.261 1.380 2.174 0.168 0.298 0.001

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

245 245 212 295 236 711 112 266 740 0

N.S.

1 1.00 0.87 1.20 0.96 2.90 0.46 1.09 3.02 0.00

time (sec)

N/A 0.153 0.172 0.053 1.348 0.830 0.965 0.166 1.533 0.001

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

513 513 499 550 470 3299 0 667 21975 0

N.S.

1 1.00 0.97 1.07 0.92 6.43 0.00 1.30 42.84 0.00

time (sec)

N/A 0.428 0.347 0.058 1.457 59.892 0.000 0.217 3.817 0.001

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

596 596 629 784 670 0 0 967 37266 0

N.S.

1 1.00 1.06 1.32 1.12 0.00 0.00 1.62 62.53 0.00

time (sec)

N/A 0.739 6.192 0.066 1.292 0.000 0.000 0.218 5.617 0.001

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F F F A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

103 103 155 103 0 315 0 0 -1 103

N.S.

1 1.00 1.50 1.00 0.00 3.06 0.00 0.00 -0.01 1.00

time (sec)

N/A 0.056 0.171 0.208 0.000 3.924 0.000 0.000 0.000 0.431

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A F B F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

116 116 155 158 0 339 0 0 -1 105

N.S.

1 1.00 1.34 1.36 0.00 2.92 0.00 0.00 -0.01 0.91

time (sec)

N/A 0.023 0.167 0.221 0.000 3.544 0.000 0.000 0.000 0.419

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

211 211 364 0 0 2381 0 0 -1 327

N.S.

1 1.00 1.73 0.00 0.00 11.28 0.00 0.00 -0.00 1.55

time (sec)

N/A 0.225 0.629 0.587 0.000 10.959 0.000 0.000 0.000 1.193

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

173 173 161 0 0 844 0 0 -1 281

N.S.

1 1.00 0.93 0.00 0.00 4.88 0.00 0.00 -0.01 1.62

time (sec)

N/A 0.103 0.180 0.575 0.000 1.831 0.000 0.000 0.000 0.902

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

105 105 84 0 0 0 0 0 -1 213

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01 2.03

time (sec)

N/A 0.057 0.045 0.566 0.000 0.000 0.000 0.000 0.000 0.825

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

134 134 256 0 0 0 0 0 -1 243

N.S.

1 1.00 1.91 0.00 0.00 0.00 0.00 0.00 -0.01 1.81

time (sec)

N/A 0.096 0.577 0.598 0.000 0.000 0.000 0.000 0.000 1.575

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

180 180 621 0 0 0 0 0 -1 283

N.S.

1 1.00 3.45 0.00 0.00 0.00 0.00 0.00 -0.01 1.57

time (sec)

N/A 0.203 2.368 0.603 0.000 0.000 0.000 0.000 0.000 3.494

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

233 233 231 0 0 0 0 0 -1 356

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00 1.53

time (sec)

N/A 0.295 5.439 0.615 0.000 0.000 0.000 0.000 0.000 5.179

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F(-1) F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

280 280 560 0 0 3308 0 0 -1 379

N.S.

1 1.00 2.00 0.00 0.00 11.81 0.00 0.00 -0.00 1.35

time (sec)

N/A 0.359 0.956 0.430 0.000 47.324 0.000 0.000 0.000 2.764

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F B F(-1) F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

230 230 358 0 0 1667 0 0 -1 356

N.S.

1 1.00 1.56 0.00 0.00 7.25 0.00 0.00 -0.00 1.55

time (sec)

N/A 0.175 0.638 0.646 0.000 3.507 0.000 0.000 0.000 1.685

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

135 135 78 0 0 0 0 0 -1 243

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.00 0.00 -0.01 1.80

time (sec)

N/A 0.076 0.060 0.608 0.000 0.000 0.000 0.000 0.000 1.129

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

162 162 99 0 0 0 0 0 -1 260

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.00 0.00 -0.01 1.60

time (sec)

N/A 0.109 0.140 0.595 0.000 0.000 0.000 0.000 0.000 2.118

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

205 205 625 0 0 0 0 0 -1 304

N.S.

1 1.00 3.05 0.00 0.00 0.00 0.00 0.00 -0.00 1.48

time (sec)

N/A 0.184 2.265 0.596 0.000 0.000 0.000 0.000 0.000 3.916

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-1) F F F C

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

266 266 1216 0 0 0 0 0 -1 394

N.S.

1 1.00 4.57 0.00 0.00 0.00 0.00 0.00 -0.00 1.48

time (sec)

N/A 0.293 5.005 0.609 0.000 0.000 0.000 0.000 0.000 6.846

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C F B F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 44 211 0 208 0 0 -1 53

N.S.

1 1.00 0.83 3.98 0.00 3.92 0.00 0.00 -0.02 1.00

time (sec)

N/A 0.018 0.019 3.245 0.000 16.480 0.000 0.000 0.000 0.233

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F F(-1) F F F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 48 0 0 0 0 0 -1 57

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.02 1.00

time (sec)

N/A 0.022 0.025 0.619 0.000 0.000 0.000 0.000 0.000 0.439

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F F(-2) F F F F(-1)

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

545 545 48 0 0 0 0 0 -1 0

N.S.

1 1.00 0.09 0.00 0.00 0.00 0.00 0.00 -0.00 0.00

time (sec)

N/A 1.085 0.020 0.566 0.000 0.000 0.000 0.000 0.000 180.013

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 118 248 164 306 454 0 173 135

N.S.

1 1.00 0.83 1.73 1.15 2.14 3.17 0.00 1.21 0.94

time (sec)

N/A 0.123 0.190 0.063 1.453 0.863 57.222 0.000 2.593 0.187

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 84 191 126 208 121 0 99 90

N.S.

1 1.00 0.85 1.93 1.27 2.10 1.22 0.00 1.00 0.91

time (sec)

N/A 0.067 0.158 0.059 1.191 0.755 36.578 0.000 1.901 0.172

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 52 163 106 128 87 0 92 56

N.S.

1 1.00 0.70 2.20 1.43 1.73 1.18 0.00 1.24 0.76

time (sec)

N/A 0.048 0.042 0.057 1.371 0.854 41.308 0.000 1.962 0.114

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 39 74 50 99 42 64 58 43

N.S.

1 1.00 1.00 1.90 1.28 2.54 1.08 1.64 1.49 1.10

time (sec)

N/A 0.019 0.073 0.049 1.201 0.748 2.189 0.200 0.076 0.001

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

104 104 100 287 0 482 0 0 149 110

N.S.

1 1.00 0.96 2.76 0.00 4.63 0.00 0.00 1.43 1.06

time (sec)

N/A 0.111 0.244 0.108 0.000 0.937 0.000 0.000 1.631 0.229

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 122 943 0 801 0 0 1195 138

N.S.

1 1.00 0.83 6.41 0.00 5.45 0.00 0.00 8.13 0.94

time (sec)

N/A 0.209 0.386 0.066 0.000 0.907 0.000 0.000 2.263 0.386

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

213 213 330 1972 0 1749 0 820 1895 215

N.S.

1 1.00 1.55 9.26 0.00 8.21 0.00 3.85 8.90 1.01

time (sec)

N/A 0.340 0.823 0.068 0.000 1.076 0.000 0.412 3.729 1.350

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

164 164 159 353 190 380 1817 0 327 194

N.S.

1 1.00 0.97 2.15 1.16 2.32 11.08 0.00 1.99 1.18

time (sec)

N/A 0.142 0.213 0.060 1.488 0.763 123.483 0.000 3.878 0.243

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 106 260 152 268 534 0 197 132

N.S.

1 1.00 0.84 2.06 1.21 2.13 4.24 0.00 1.56 1.05

time (sec)

N/A 0.080 0.260 0.060 1.160 0.606 94.065 0.000 2.579 0.205

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

100 100 73 205 132 164 163 0 81 82

N.S.

1 1.00 0.73 2.05 1.32 1.64 1.63 0.00 0.81 0.82

time (sec)

N/A 0.063 0.091 0.057 1.326 0.868 56.146 0.000 2.512 0.161

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A B F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 46 100 63 100 92 0 34 50

N.S.

1 1.00 0.85 1.85 1.17 1.85 1.70 0.00 0.63 0.93

time (sec)

N/A 0.025 0.025 0.052 1.202 0.802 2.692 0.000 1.501 0.001

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

106 106 102 528 0 519 0 0 556 116

N.S.

1 1.00 0.96 4.98 0.00 4.90 0.00 0.00 5.25 1.09

time (sec)

N/A 0.128 0.236 0.061 0.000 0.904 0.000 0.000 1.684 0.275

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F(-1) F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

156 156 143 834 0 769 0 0 448 160

N.S.

1 1.00 0.92 5.35 0.00 4.93 0.00 0.00 2.87 1.03

time (sec)

N/A 0.222 0.387 0.062 0.000 0.929 0.000 0.000 2.165 0.432

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

209 209 168 1817 0 1765 0 727 1664 189

N.S.

1 1.00 0.80 8.69 0.00 8.44 0.00 3.48 7.96 0.90

time (sec)

N/A 0.345 0.604 0.067 0.000 1.060 0.000 0.611 3.472 0.565

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

198 198 201 457 219 494 5513 0 487 252

N.S.

1 1.00 1.02 2.31 1.11 2.49 27.84 0.00 2.46 1.27

time (sec)

N/A 0.158 0.255 0.067 1.207 0.858 158.704 0.000 6.049 0.283

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 121 336 181 350 1841 0 271 173

N.S.

1 1.00 0.80 2.21 1.19 2.30 12.11 0.00 1.78 1.14

time (sec)

N/A 0.102 0.158 0.060 1.251 0.816 112.031 0.000 3.791 0.263

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

125 125 94 253 161 222 520 0 99 106

N.S.

1 1.00 0.75 2.02 1.29 1.78 4.16 0.00 0.79 0.85

time (sec)

N/A 0.077 0.112 0.060 1.505 0.663 82.773 0.000 3.480 0.185

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 64 120 78 139 99 0 34 68

N.S.

1 1.00 0.90 1.69 1.10 1.96 1.39 0.00 0.48 0.96

time (sec)

N/A 0.034 0.062 0.058 1.249 0.885 4.364 0.000 1.630 0.001

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F(-1) F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

134 134 116 859 0 659 0 0 1427 130

N.S.

1 1.00 0.87 6.41 0.00 4.92 0.00 0.00 10.65 0.97

time (sec)

N/A 0.221 0.270 0.056 0.000 1.149 0.000 0.000 2.156 0.298

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F(-1) F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 145 1323 0 1001 0 0 1153 166

N.S.

1 1.00 0.87 7.97 0.00 6.03 0.00 0.00 6.95 1.00

time (sec)

N/A 0.234 0.430 0.063 0.000 1.153 0.000 0.000 2.311 0.390

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

237 237 191 1638 0 1445 0 945 1476 240

N.S.

1 1.00 0.81 6.91 0.00 6.10 0.00 3.99 6.23 1.01

time (sec)

N/A 0.373 0.849 0.071 0.000 0.964 0.000 0.489 3.439 0.516

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 126 95 535 166 233 386 158 107 104

N.S.

1 1.00 0.75 4.25 1.32 1.85 3.06 1.25 0.85 0.83

time (sec)

N/A 0.090 0.147 0.063 1.327 0.556 89.999 0.204 1.727 0.206

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

73 73 66 348 129 158 114 99 63 72

N.S.

1 1.00 0.90 4.77 1.77 2.16 1.56 1.36 0.86 0.99

time (sec)

N/A 0.054 0.087 0.063 1.244 0.613 83.772 0.183 1.621 0.163

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B B A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

51 51 53 173 109 115 82 78 88 55

N.S.

1 1.00 1.04 3.39 2.14 2.25 1.61 1.53 1.73 1.08

time (sec)

N/A 0.033 0.039 0.059 1.298 0.847 60.252 0.197 1.977 0.107

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

43 43 43 71 67 98 44 71 66 47

N.S.

1 1.00 1.00 1.65 1.56 2.28 1.02 1.65 1.53 1.09

time (sec)

N/A 0.020 0.018 0.046 1.208 0.782 3.088 0.239 1.441 0.001

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

108 108 104 228 0 542 0 134 1183 114

N.S.

1 1.00 0.96 2.11 0.00 5.02 0.00 1.24 10.95 1.06

time (sec)

N/A 0.096 0.246 0.064 0.000 0.771 0.000 0.181 1.982 0.218

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

172 172 150 1135 0 1163 0 300 3813 172

N.S.

1 1.00 0.87 6.60 0.00 6.76 0.00 1.74 22.17 1.00

time (sec)

N/A 0.218 0.775 0.069 0.000 1.057 0.000 0.220 3.536 0.634

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

250 250 216 2269 0 2307 0 352 2890 268

N.S.

1 1.00 0.86 9.08 0.00 9.23 0.00 1.41 11.56 1.07

time (sec)

N/A 0.400 1.746 0.069 0.000 2.223 0.000 0.288 5.479 1.654

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 92 969 200 336 0 222 172 130

N.S.

1 1.00 0.70 7.34 1.52 2.55 0.00 1.68 1.30 0.98

time (sec)

N/A 0.101 0.075 0.067 1.259 1.542 0.000 0.209 1.908 0.277

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

94 90 81 789 164 272 0 160 120 101

N.S.

1 0.96 0.86 8.39 1.74 2.89 0.00 1.70 1.28 1.07

time (sec)

N/A 0.079 0.103 0.064 1.157 0.616 0.000 0.226 1.834 0.277

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B B A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 48 387 144 210 224 127 71 77

N.S.

1 1.00 0.63 5.09 1.89 2.76 2.95 1.67 0.93 1.01

time (sec)

N/A 0.050 0.024 0.056 1.374 0.892 81.344 0.196 2.438 0.176

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 61 36 198 85 156 71 86 34 63

N.S.

1 1.02 0.60 3.30 1.42 2.60 1.18 1.43 0.57 1.05

time (sec)

N/A 0.031 0.013 0.058 1.183 0.834 4.794 0.165 1.868 0.001

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

147 147 106 962 0 1075 0 200 3000 159

N.S.

1 1.00 0.72 6.54 0.00 7.31 0.00 1.36 20.41 1.08

time (sec)

N/A 0.194 0.072 0.074 0.000 1.322 0.000 0.206 2.684 0.344

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

224 224 164 3119 0 2321 0 424 4274 264

N.S.

1 1.00 0.73 13.92 0.00 10.36 0.00 1.89 19.08 1.18

time (sec)

N/A 0.323 0.145 0.073 0.000 2.360 0.000 0.256 6.202 0.855

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

320 320 239 5158 0 4093 0 516 8936 412

N.S.

1 1.00 0.75 16.12 0.00 12.79 0.00 1.61 27.92 1.29

time (sec)

N/A 0.525 0.321 0.079 0.000 4.782 0.000 0.309 9.488 1.344

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 145 1150 228 483 0 203 194 167

N.S.

1 1.00 1.01 8.04 1.59 3.38 0.00 1.42 1.36 1.17

time (sec)

N/A 0.151 0.430 0.061 1.341 0.819 0.000 0.256 2.050 0.283

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 118 97 588 190 407 0 163 144 134

N.S.

1 0.97 0.80 4.82 1.56 3.34 0.00 1.34 1.18 1.10

time (sec)

N/A 0.095 0.082 0.065 1.308 0.985 0.000 0.205 2.219 0.246

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 60 541 170 331 1479 145 87 103

N.S.

1 1.00 0.58 5.25 1.65 3.21 14.36 1.41 0.84 1.00

time (sec)

N/A 0.065 0.035 0.064 1.251 0.628 155.819 0.220 2.910 0.203

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A B A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

79 82 38 271 101 225 774 98 34 78

N.S.

1 1.04 0.48 3.43 1.28 2.85 9.80 1.24 0.43 0.99

time (sec)

N/A 0.038 0.025 0.068 1.291 0.829 7.925 0.239 1.722 0.001

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

201 201 118 1767 0 1990 0 247 5387 237

N.S.

1 1.00 0.59 8.79 0.00 9.90 0.00 1.23 26.80 1.18

time (sec)

N/A 0.315 0.084 0.071 0.000 4.965 0.000 0.219 4.622 0.458

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

287 287 178 4644 0 3887 0 576 5789 393

N.S.

1 1.00 0.62 16.18 0.00 13.54 0.00 2.01 20.17 1.37

time (sec)

N/A 0.448 0.189 0.080 0.000 5.151 0.000 0.326 8.729 1.040

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

409 409 239 7300 0 6171 0 523 4284 587

N.S.

1 1.00 0.58 17.85 0.00 15.09 0.00 1.28 10.47 1.44

time (sec)

N/A 0.702 0.387 0.079 0.000 16.664 0.000 0.285 8.227 1.599

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 167 253 0 890 0 0 4674 179

N.S.

1 1.00 1.36 2.06 0.00 7.24 0.00 0.00 38.00 1.46

time (sec)

N/A 0.094 1.401 0.096 0.000 1.776 0.000 0.000 22.224 0.399

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 81 155 0 247 0 0 478 147

N.S.

1 1.00 1.00 1.91 0.00 3.05 0.00 0.00 5.90 1.81

time (sec)

N/A 0.052 0.068 0.096 0.000 1.186 0.000 0.000 6.583 0.428

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A F F(-2) F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

122 122 87 280 0 319 0 0 -1 158

N.S.

1 1.00 0.71 2.30 0.00 2.61 0.00 0.00 -0.01 1.30

time (sec)

N/A 0.080 0.106 0.080 0.000 1.199 0.000 0.000 0.000 0.426

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

39 39 40 45 33 98 82 33 32 0

N.S.

1 1.00 1.03 1.15 0.85 2.51 2.10 0.85 0.82 0.00

time (sec)

N/A 0.020 0.032 0.046 1.305 0.739 0.330 0.153 0.069 0.001

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

145 145 129 195 128 390 71 133 123 0

N.S.

1 1.00 0.89 1.34 0.88 2.69 0.49 0.92 0.85 0.00

time (sec)

N/A 0.106 0.102 0.050 1.294 0.925 0.454 0.222 0.274 0.001

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 41 59 47 48 82 49 49 53

N.S.

1 1.00 0.84 1.20 0.96 0.98 1.67 1.00 1.00 1.08

time (sec)

N/A 0.049 0.072 0.052 0.638 0.816 0.299 0.195 0.074 0.032

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

26 26 26 21 20 20 24 20 20 31

N.S.

1 1.00 1.00 0.81 0.77 0.77 0.92 0.77 0.77 1.19

time (sec)

N/A 0.016 0.013 0.040 0.550 0.805 0.196 0.205 0.034 0.013

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

17 17 17 24 23 23 27 24 13 17

N.S.

1 1.00 1.00 1.41 1.35 1.35 1.59 1.41 0.76 1.00

time (sec)

N/A 0.015 0.006 0.048 0.564 0.620 0.266 0.182 1.458 0.015

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

104 104 22 66 71 71 102 71 90 104

N.S.

1 1.00 0.21 0.63 0.68 0.68 0.98 0.68 0.87 1.00

time (sec)

N/A 0.086 0.007 0.044 1.135 0.824 5.721 0.166 1.497 0.134

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

30 30 30 23 22 22 26 23 22 32

N.S.

1 1.00 1.00 0.77 0.73 0.73 0.87 0.77 0.73 1.07

time (sec)

N/A 0.019 0.031 0.042 0.558 0.559 0.184 0.152 0.041 0.023

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

132 132 110 138 186 527 2744 740 131 0

N.S.

1 1.00 0.83 1.05 1.41 3.99 20.79 5.61 0.99 0.00

time (sec)

N/A 0.111 0.284 0.053 0.614 0.860 3.673 0.216 1.638 0.504

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 90 104 140 319 1540 450 99 0

N.S.

1 1.00 0.91 1.05 1.41 3.22 15.56 4.55 1.00 0.00

time (sec)

N/A 0.073 0.128 0.055 0.503 0.740 3.346 0.193 1.557 0.111

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 70 74 94 175 726 232 71 0

N.S.

1 1.00 1.00 1.06 1.34 2.50 10.37 3.31 1.01 0.00

time (sec)

N/A 0.045 0.102 0.054 0.440 0.913 1.956 0.188 1.535 0.065

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 37 43 48 69 236 83 38 0

N.S.

1 1.00 0.92 1.08 1.20 1.72 5.90 2.08 0.95 0.00

time (sec)

N/A 0.021 0.075 0.045 0.510 0.942 0.650 0.169 1.483 0.042

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

158 158 149 164 242 667 0 947 157 0

N.S.

1 1.00 0.94 1.04 1.53 4.22 0.00 5.99 0.99 0.00

time (sec)

N/A 0.130 0.211 0.057 0.622 0.876 0.000 0.243 1.705 0.601

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

112 112 105 117 168 370 1765 539 108 0

N.S.

1 1.00 0.94 1.04 1.50 3.30 15.76 4.81 0.96 0.00

time (sec)

N/A 0.082 0.197 0.055 0.604 0.837 77.474 0.225 1.566 0.619

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 70 74 94 175 726 232 71 0

N.S.

1 1.00 1.00 1.06 1.34 2.50 10.37 3.31 1.01 0.00

time (sec)

N/A 0.047 0.108 0.049 0.633 0.797 2.737 0.272 1.531 0.077

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F B F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

178 178 218 0 0 478 0 0 -1 0

N.S.

1 1.00 1.22 0.00 0.00 2.69 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.086 0.142 0.828 0.000 0.910 0.000 0.000 0.000 0.070

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

116 116 113 0 0 231 0 0 -1 0

N.S.

1 1.00 0.97 0.00 0.00 1.99 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.036 0.083 0.797 0.000 0.635 0.000 0.000 0.000 0.064

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 82 0 0 85 0 0 -1 0

N.S.

1 1.00 1.41 0.00 0.00 1.47 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.014 0.137 0.598 0.000 0.913 0.000 0.000 0.000 0.049

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

18 18 18 53 0 31 211 0 75 0

N.S.

1 1.00 1.00 2.94 0.00 1.72 11.72 0.00 4.17 0.00

time (sec)

N/A 0.003 0.036 0.073 0.000 0.725 33.049 0.000 1.756 0.019

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 55 0 0 108 0 0 -1 0

N.S.

1 1.00 0.96 0.00 0.00 1.89 0.00 0.00 -0.02 0.00

time (sec)

N/A 0.027 0.069 0.904 0.000 0.852 0.000 0.000 0.000 0.600

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

327 327 136 0 0 400 0 0 -1 0

N.S.

1 1.00 0.42 0.00 0.00 1.22 0.00 0.00 -0.00 0.00

time (sec)

N/A 0.184 0.463 0.766 0.000 0.874 0.000 0.000 0.000 0.067

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F A F(-1) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

127 127 94 0 0 173 0 0 -1 0

N.S.

1 1.00 0.74 0.00 0.00 1.36 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.064 0.170 0.632 0.000 0.851 0.000 0.000 0.000 0.049

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C F F A F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

50 50 55 0 0 68 0 0 64 0

N.S.

1 1.00 1.10 0.00 0.00 1.36 0.00 0.00 1.28 0.00

time (sec)

N/A 0.012 0.029 0.605 0.000 0.903 0.000 0.000 1.763 0.017

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 164 110 92 178 114 0 621 152 340

N.S.

1 1.08 0.72 0.61 1.17 0.75 0.00 4.09 1.00 2.24

time (sec)

N/A 0.118 0.104 0.043 0.500 0.957 0.000 0.760 1.761 0.221

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 118 88 68 124 90 0 495 118 246

N.S.

1 1.08 0.81 0.62 1.14 0.83 0.00 4.54 1.08 2.26

time (sec)

N/A 0.087 0.060 0.046 0.498 0.823 0.000 0.748 1.736 0.183

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 72 62 44 70 66 0 361 83 152

N.S.

1 1.07 0.93 0.66 1.04 0.99 0.00 5.39 1.24 2.27

time (sec)

N/A 0.044 0.046 0.046 0.619 0.634 0.000 0.371 1.641 0.142

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 85 174 52 80 0 78 248 161

N.S.

1 1.00 1.06 2.18 0.65 1.00 0.00 0.98 3.10 2.01

time (sec)

N/A 0.078 0.243 0.101 1.300 0.704 0.000 0.320 3.598 0.129

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 114 114 182 98 85 0 157 584 267

N.S.

1 1.19 1.19 1.90 1.02 0.89 0.00 1.64 6.08 2.78

time (sec)

N/A 0.084 0.056 0.067 1.462 0.910 0.000 0.421 6.890 0.193

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

121 164 137 226 162 100 0 324 1004 206

N.S.

1 1.36 1.13 1.87 1.34 0.83 0.00 2.68 8.30 1.70

time (sec)

N/A 0.104 0.092 0.066 1.353 0.803 0.000 0.455 15.557 0.181

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

208 208 161 298 246 138 0 558 2314 385

N.S.

1 1.00 0.77 1.43 1.18 0.66 0.00 2.68 11.12 1.85

time (sec)

N/A 0.149 0.309 0.095 0.548 1.416 0.000 0.627 39.151 0.300

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 159 135 240 192 112 0 432 1681 297

N.S.

1 1.00 0.85 1.51 1.21 0.70 0.00 2.72 10.57 1.87

time (sec)

N/A 0.123 0.191 0.067 0.666 0.818 0.000 0.458 42.568 0.239

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

114 114 129 182 137 88 0 288 734 207

N.S.

1 1.00 1.13 1.60 1.20 0.77 0.00 2.53 6.44 1.82

time (sec)

N/A 0.047 0.279 0.059 0.543 0.871 0.000 0.350 17.425 0.185

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

104 104 101 153 105 83 0 110 243 200

N.S.

1 1.00 0.97 1.47 1.01 0.80 0.00 1.06 2.34 1.92

time (sec)

N/A 0.087 0.089 0.064 1.500 0.740 0.000 0.395 3.486 0.204

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

84 84 105 153 75 100 0 171 236 145

N.S.

1 1.00 1.25 1.82 0.89 1.19 0.00 2.04 2.81 1.73

time (sec)

N/A 0.080 0.086 0.066 1.472 0.795 0.000 0.383 3.438 0.171

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

125 125 117 191 153 96 0 172 1154 255

N.S.

1 1.00 0.94 1.53 1.22 0.77 0.00 1.38 9.23 2.04

time (sec)

N/A 0.085 0.143 0.106 0.554 0.884 0.000 0.231 32.625 0.206

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 70 57 95 55 216 108 108 196

N.S.

1 1.00 0.68 0.55 0.92 0.53 2.10 1.05 1.05 1.90

time (sec)

N/A 0.075 0.043 0.046 0.633 1.046 62.839 0.223 2.440 0.132

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 98 147 113 77 0 121 720 175

N.S.

1 1.00 1.13 1.69 1.30 0.89 0.00 1.39 8.28 2.01

time (sec)

N/A 0.069 0.105 0.078 0.537 0.826 0.000 0.373 22.496 0.158

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 52 38 54 37 202 59 66 122

N.S.

1 1.00 0.80 0.58 0.83 0.57 3.11 0.91 1.02 1.88

time (sec)

N/A 0.040 0.054 0.044 0.469 0.776 41.910 0.222 2.359 0.098

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C A A C A B A

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD NO

size

47 47 101 103 74 55 182 69 293 88

N.S.

1 1.00 2.15 2.19 1.57 1.17 3.87 1.47 6.23 1.87

time (sec)

N/A 0.020 0.212 0.066 0.497 0.875 45.512 0.176 12.685 0.134

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

46 46 66 62 29 48 162 45 77 65

N.S.

1 1.00 1.43 1.35 0.63 1.04 3.52 0.98 1.67 1.41

time (sec)

N/A 0.061 0.033 0.072 1.152 0.830 40.135 0.224 3.865 0.081

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

33 33 73 77 44 56 148 58 61 66

N.S.

1 1.00 2.21 2.33 1.33 1.70 4.48 1.76 1.85 2.00

time (sec)

N/A 0.057 0.030 0.072 1.177 0.869 35.169 0.216 2.593 0.093

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

60 60 77 84 45 57 141 114 297 87

N.S.

1 1.00 1.28 1.40 0.75 0.95 2.35 1.90 4.95 1.45

time (sec)

N/A 0.063 0.071 0.082 1.226 0.839 63.618 0.213 8.668 0.100

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 51 37 54 52 146 116 53 122

N.S.

1 1.00 0.82 0.60 0.87 0.84 2.35 1.87 0.85 1.97

time (sec)

N/A 0.062 0.018 0.050 1.233 0.849 61.444 0.206 2.440 0.113

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 99 102 125 85 78 0 268 650 175

N.S.

1 1.00 1.03 1.26 0.86 0.79 0.00 2.71 6.57 1.77

time (sec)

N/A 0.078 0.102 0.074 1.107 0.591 0.000 0.221 21.455 0.165

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

164 164 148 240 196 115 0 203 1682 297

N.S.

1 1.00 0.90 1.46 1.20 0.70 0.00 1.24 10.26 1.81

time (sec)

N/A 0.120 0.124 0.099 0.568 0.778 0.000 0.280 42.656 0.243

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 87 68 124 66 240 124 130 246

N.S.

1 1.00 0.74 0.58 1.05 0.56 2.03 1.05 1.10 2.08

time (sec)

N/A 0.086 0.062 0.046 0.551 0.782 70.843 0.251 2.700 0.151

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 121 182 142 90 0 140 1048 209

N.S.

1 1.00 1.03 1.54 1.20 0.76 0.00 1.19 8.88 1.77

time (sec)

N/A 0.097 0.098 0.075 0.639 1.205 0.000 0.233 25.513 0.189

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 61 43 69 42 223 65 76 146

N.S.

1 1.00 0.85 0.60 0.96 0.58 3.10 0.90 1.06 2.03

time (sec)

N/A 0.046 0.038 0.040 0.645 0.764 44.702 0.198 2.663 0.126

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 119 124 89 63 199 79 417 103

N.S.

1 1.00 1.75 1.82 1.31 0.93 2.93 1.16 6.13 1.51

time (sec)

N/A 0.032 0.349 0.071 0.459 0.863 41.776 0.265 10.800 0.139

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 87 108 37 61 178 55 108 75

N.S.

1 1.00 1.55 1.93 0.66 1.09 3.18 0.98 1.93 1.34

time (sec)

N/A 0.069 0.037 0.077 1.342 0.847 39.158 0.209 3.967 0.112

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 90 97 55 68 165 66 77 75

N.S.

1 1.00 1.58 1.70 0.96 1.19 2.89 1.16 1.35 1.32

time (sec)

N/A 0.075 0.041 0.069 1.257 1.085 36.825 0.217 2.945 0.119

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A C B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 102 158 60 73 162 141 457 104

N.S.

1 1.00 1.34 2.08 0.79 0.96 2.13 1.86 6.01 1.37

time (sec)

N/A 0.073 0.102 0.072 1.292 0.813 69.669 0.494 7.500 0.125

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 66 49 75 67 170 137 79 146

N.S.

1 1.00 0.88 0.65 1.00 0.89 2.27 1.83 1.05 1.95

time (sec)

N/A 0.069 0.031 0.041 1.319 0.744 70.802 0.244 2.765 0.136

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 144 227 114 100 0 325 1005 209

N.S.

1 1.00 1.17 1.85 0.93 0.81 0.00 2.64 8.17 1.70

time (sec)

N/A 0.095 0.108 0.070 1.208 0.857 0.000 0.271 19.135 0.191

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

161 161 119 316 196 190 0 214 -1 297

N.S.

1 1.00 0.74 1.96 1.22 1.18 0.00 1.33 -0.01 1.84

time (sec)

N/A 0.123 0.162 0.087 0.492 0.863 0.000 0.398 0.000 0.264

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

115 115 72 68 123 80 226 200 90 236

N.S.

1 1.00 0.63 0.59 1.07 0.70 1.97 1.74 0.78 2.05

time (sec)

N/A 0.094 0.054 0.049 0.464 0.663 177.265 0.435 2.801 0.162

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

152 152 90 254 138 159 0 147 -1 196

N.S.

1 1.00 0.59 1.67 0.91 1.05 0.00 0.97 -0.01 1.29

time (sec)

N/A 0.115 0.121 0.077 0.500 0.666 0.000 0.321 0.000 0.190

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 45 43 69 56 201 152 67 173

N.S.

1 1.00 0.59 0.57 0.91 0.74 2.64 2.00 0.88 2.28

time (sec)

N/A 0.054 0.067 0.043 0.576 0.770 136.305 0.280 2.747 0.141

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A B C B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 86 160 76 129 182 113 -1 87

N.S.

1 1.00 1.37 2.54 1.21 2.05 2.89 1.79 -0.02 1.38

time (sec)

N/A 0.032 0.244 0.073 0.548 0.837 112.361 0.280 0.000 0.146

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A A C B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 84 188 58 101 172 115 -1 87

N.S.

1 1.00 1.29 2.89 0.89 1.55 2.65 1.77 -0.02 1.34

time (sec)

N/A 0.081 0.044 0.076 1.463 0.813 136.445 0.362 0.000 0.111

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

67 67 51 48 71 103 165 219 73 146

N.S.

1 1.00 0.76 0.72 1.06 1.54 2.46 3.27 1.09 2.18

time (sec)

N/A 0.077 0.027 0.050 1.365 0.781 136.133 0.459 2.866 0.154

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A F(-1) B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

117 117 75 315 104 138 0 211 -1 196

N.S.

1 1.00 0.64 2.69 0.89 1.18 0.00 1.80 -0.01 1.68

time (sec)

N/A 0.098 0.032 0.091 1.265 0.716 0.000 0.542 0.000 0.183

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

119 119 77 73 125 132 0 242 104 236

N.S.

1 1.00 0.65 0.61 1.05 1.11 0.00 2.03 0.87 1.98

time (sec)

N/A 0.096 0.031 0.046 1.342 0.804 0.000 0.728 2.897 0.181

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B A A F(-1) B F A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 78 387 162 165 0 402 -1 297

N.S.

1 1.00 0.47 2.33 0.98 0.99 0.00 2.42 -0.01 1.79

time (sec)

N/A 0.120 0.033 0.084 1.480 0.884 0.000 0.794 0.000 0.248

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A C A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

40 40 56 53 23 39 148 40 72 60

N.S.

1 1.00 1.40 1.32 0.58 0.98 3.70 1.00 1.80 1.50

time (sec)

N/A 0.054 0.026 0.069 1.351 0.885 30.114 0.171 3.652 0.069

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A F(-1) F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 244 66 79 65 0 0 96 0

N.S.

1 1.00 4.60 1.25 1.49 1.23 0.00 0.00 1.81 0.00

time (sec)

N/A 0.091 0.314 0.053 1.244 0.858 0.000 0.000 3.274 24.091

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F C F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

36 36 36 0 0 69 0 0 -1 44

N.S.

1 1.00 1.00 0.00 0.00 1.92 0.00 0.00 -0.03 1.22

time (sec)

N/A 0.020 0.020 0.857 0.000 0.871 0.000 0.000 0.000 7.622

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F A F F F C

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 75 0 0 50 0 0 -1 58

N.S.

1 1.00 1.00 0.00 0.00 0.67 0.00 0.00 -0.01 0.77

time (sec)

N/A 0.050 0.058 0.877 0.000 0.725 0.000 0.000 0.000 10.946

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A F F A F(-1) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

96 104 103 0 0 180 0 0 -1 0

N.S.

1 1.08 1.07 0.00 0.00 1.88 0.00 0.00 -0.01 0.00

time (sec)

N/A 0.122 0.394 2.167 0.000 0.846 0.000 0.000 0.000 1.414

[next] [prev] [prev-tail] [front] [up]